/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */

package session;

import entities.*;
import java.util.*;
import javax.ejb.Local;

/**
 *
 * @author sflesca
 */
@Local
public interface CarrelloLocal {

    List<Prodotto> getProdotti();

    void addProdotto(Prodotto prodotto) throws ProdottoNonDisponibileException;

    void removeProdotto(Prodotto prodotto);

    void setCliente(Cliente cliente) throws ClienteNonValidoException;

    void ordina() throws ClienteNonValidoException, ProdottoNonDisponibileException;

    void svuota();

    
}
